d58b47321636b79f7b3995195e59efc540867e31,src/com/itmill/toolkit/terminal/gwt/client/ui/IExpandLayout.java,IExpandLayout,getTopMargin,#,367
Before Change
private int getTopMargin() {
if (topMargin < 0) {
topMargin = DOM.getElementPropertyInt(childContainer, "offsetTop");
}
return topMargin;
}
After Change
private int getTopMargin() {
if (topMargin < 0) {
topMargin = DOM.getElementPropertyInt(childContainer, "offsetTop")
- DOM.getElementPropertyInt(getElement(), "offsetTop");
}
if (topMargin < 0) {
// FIXME shouldn't happen